A general model and thresholds for random constraint satisfaction problems
نویسندگان
چکیده
منابع مشابه
A general model and thresholds for random constraint satisfaction problems
In this paper, we study the relation among the parameters in their most general setting that define a large class of random CSP models d-k-CSP where d is the domain size and k is the length of the constraint scopes. The model d-k-CSP unifies several related models such as the model RB and the model k-CSP. We prove that the model d-k-CSP exhibits exact phase transitions if k ln d increases no sl...
متن کاملRandom Constraint Satisfaction Problems
Random instances of constraint satisfaction problems such as k-SAT provide challenging benchmarks. If there are m constraints over n variables there is typically a large range of densities r = m/n where solutions are known to exist with probability close to one due to non-constructive arguments. However, no algorithms are known to find solutions efficiently with a non-vanishing probability at e...
متن کاملRandom subcubes as a toy model for constraint satisfaction problems
We present an exactly solvable random-subcube model inspired by the structure of hard constraint satisfaction and optimization problems. Our model reproduces the structure of the solution space of the random ksatisfiability and k-coloring problems, and undergoes the same phase transitions as these problems. The comparison becomes quantitative in the large-k limit. Distance properties, as well t...
متن کاملImplicit Random Constraint Satisfaction Problems
Random CSPs (Constraint Satisfaction Problems) provide interesting benchmarks for experimental evaluation of algorithms. From a theoretical point of view, a lot of recent works have contributed to guarantee the existence of a so-called phase transition and, consequently, of hard and large problem instances. From a practical point of view, due to exponential space complexity, a vast majority of ...
متن کاملModeling General Constraint Satisfaction Problems
1. Max-3-SAT: In this case, Γ represents the OR-predicate. 2. Max-Cut: We can model this as a CSP where the vertices that get assigned to one side get 0 value and the other gets 1; so the domain set is D = {0, 1}. The set Γ contains only 6= predicate. 3. Max-E3-LIN2: The domain is {0, 1}. There are two types of precidates in Γ, i.e. xi + xj + xk = 0 and xi + xj = xk = 1 (under modolu two.) 4. M...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2012
ISSN: 0004-3702
DOI: 10.1016/j.artint.2012.08.003